A Scalable Approach to Incrementally Building Knowledge Graphs Gleb Gawriljuk1 , Andreas Harth1 , Craig A. Knoblock2 , and Pedro Szekely2 1 Institute of Applied Informatics and Formal Description Methods (AIFB),

Source URL: usc-isi-i2.github.io

SCOPE PROGRAM COMMITTEE The 14th International Conference on Software Engineering and Formal Methods (SEFMis co-located with Software Technologies: Applications and Foundations, STAF 2016, and presents an interdi

Source URL: staf2016.conf.tuwien.ac.at

The Importance of Context: Risk-based De-Identification of Biomedical Data – Appendix: Formal Definitions F. Prasser, F. Kohlmayer, K. A. Kuhn 1 Formalism In this appendix, we will denote the number of records in the d

Source URL: methods.schattauer.de

Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition

Source URL: folk.uio.no

Microsoft Word - BlankPage

Source URL: www.cs.miami.edu

• Logic
• Abstraction
• Philosophy
• Automated theorem proving
• Reasoning
• Formal methods
• Predicate logic
• Datalog
• First-order logic
• Axiom
• Satisfiability modulo theories
• Mereology

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵ ｃｏｓｔ＠ＰＵＵＯＱＵ ｄｅｃｉｓｉｏｎ ｓｵ｢ｪ･｣ｴＺ＠

Source URL: w3.cost.eu

• Software engineering
• Software
• Type theory
• Programming language theory
• Proof assistants
• Functional languages
• Formal methods
• Logic in computer science
• Formal verification
• Dependent type
• Agda
• Coq

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1

Source URL: rodin.cs.ncl.ac.uk

• Software
• Computing
• Formal methods
• Software engineering
• Dependability
• Quality
• Safety
• Safety engineering
• Systems engineering
• B-Method
• Project management
• Programming tool